Rettelse til Kultur & Klasse 60

Kultur und Sozialisation

Durch Sozialisationsprozesse werden identitätsrelevante Werthaltungen und Verhaltenspräferenzen aufgebaut, die relativ überdauernd über die Lebensspanne hinweg wirksam sind und wiederum auf die soziale Umwelt zurückwirken, in der Sozialisationsprozesse erfolgen. Diese Rückwirkung wird vermittelt durch die sozialisationsbedingten Erfahrungen und die damit verbundene Deutung des Selbst und der Um...

Kultur und IT: Einfluss der Kultur auf die Verbreitung der Informationstechnologie in der Arabischen Welt

Du TAL au TIL

position paper. Historically two types of NLP have been investigated: fully automated processing of language by machines (NLP) and autonomous processing of natural language by people, i.e. the human brain (psycholinguistics). We believe that there is room and need for another kind, INLP: interactive natural language processing. This intermediate approach starts from peoples’ needs, trying to br...

Deductive Reasoning using TIL

Transparent Intensional Logic (TIL) is a highly expressive logical system apt for the logical analysis of natural language. It operates with a single procedural semantics for all kinds of logical-semantic context, whether extensional, intensional or hyper-intensional, while adhering to the compositionality principle throughout. The reason why we vote for a rich procedural semantics is this. A c...

Eine entscheidbare Klasse n-stelliger Horn-Prädikate

Das Rechnen mit unendlichen Mengen von Grundtermen hat zahlreiche Anwendungen, speziell auf den Gebieten der Programmanalyse und des automatischen Beweisens: z.B. Typ-Inferenz in PROLOG, basierend auf einer oberen Abschätzung der Extension von Prädikaten [9]; Berechnung einfacher Invarianten imperativer Programme [8]; Beschreibung von Bildmengen von Abstraktionsfunktionen in Implementierungsbew...